/*
 * $QNXLicenseC:
 * Copyright 2007, QNX Software Systems. All Rights Reserved.
 *
 * You must obtain a written license from and pay applicable 
 * license fees to QNX Software Systems before you may reproduce, 
 * modify or distribute this software, or any work that includes 
 * all or part of this software.   Free development licenses are 
 * available for evaluation and non-commercial purposes.  For more 
 * information visit http://licensing.qnx.com or email 
 * licensing@qnx.com.
 * 
 * This file may contain contributions from others.  Please review 
 * this entire file for other proprietary rights or license notices, 
 * as well as the QNX Development Suite License Guide at 
 * http://licensing.qnx.com/license-guide/ for other information.
 * $
 */

#include "kdintl.h"

//Overrides generic verion in kdumper directory.

void
startnext(uintptr_t vaddr) {
	asm volatile(	
			"ldc	%0,r0_bank;"
			"jmp	@%1;"
			"mov	%0,r4;"
		:  		
		:  "r" (_syspage_ptr), "r" (vaddr) );
}
